Skip to content

SectionPriorityFiltering#683

Merged
jgclark merged 6 commits intomainfrom
SectionPriorityFiltering
Sep 7, 2025
Merged

SectionPriorityFiltering#683
jgclark merged 6 commits intomainfrom
SectionPriorityFiltering

Conversation

@jgclark
Copy link
Collaborator

@jgclark jgclark commented Sep 7, 2025

Global section priority filtering mostly done. Some edge cases still to deal with.

@jgclark jgclark merged commit 1fde92c into main Sep 7, 2025
2 of 3 checks passed
@jgclark jgclark deleted the SectionPriorityFiltering branch September 7, 2025 15:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants